perm filename CMSY7.360[GF,SYS] blob
sn#803142 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#~MεD GCqPE`⊗↓↔@Epα↔ UhαWe`@ EX@@EX@@EP@`UH↓`UHA E@↓↓ E8↓↓@E0↓↓`E0↓↓`E(↓αE ↓!E_↓!U_↓α@TX↓↓ XαR`0⊂↓C DXβC@TP∧β@tXβ∧D`↓Q(D⊂F"q8∧@`((↓0P'↓ 0⊂↓AJ_↓ p 'A`p 'AA_'A!⊂⊂'A!⊂'Ap⊂'A@_'↓0@'↓ X'↓p0'a ('a (&A↓0 &A↓0 &@a@_&@a@_&↓↓0_&a@⊂&`⊂ α@I0_Bi0λα↓hT !DBA8Ce ∧∀@ α∀ ⊂0α∪` 8↓S@08↓S 08↓S 08↓∪4`↓R`DX↓R`4Pα∩@DPα∩@DPα∩@PXR@PH↓∩`P8↓∩`p S↓$pβ⊃(D
G"q8∧β*↓⊂'@@ ↓B P⊂α@`p0%@``_∧↓)0⊂β↓↓⊂(%@p ∧A*0 ¬↓
0 ¬↓
0_¬A
0_¬A
¬@j ¬@j _¬A
_¬@j⊂ ¬@J⊂_¬@J⊂_¬J ∧@J_∧@J_β@Ip_α@i`P&BλT "DbQ8Ce ∧T@ αT 0α∀ 8↓S`08S@Dpα∪@TpβSa∃λαT$xS $`↓R`4X↓R@@`R@@P↓∩@P@↓∩@p ↓∩a4hβ⊃(D0∂πbq8εD*Q_)@@@_∧j ⊂α↓
_αA
⊂βip⊂β@jp +A
p_+@j`h+β
P *@jP_*j@_)@j0_)i@ ↓I08&↓(T #EαqPCu_¬T@ (αT @α∪` H↓S@ P↓∪ 0H↓∪0H↓∪4Xα∩`4X↓C $Pαβ4Pαα`4Pαα`4Pαα@DPαB DPαBDXαA@TXβ↓T`∧@@4hβ`50↓U 4hA`∀`∧RA∀("∩βb¬`p0π@)pHεi`λα↓!0 &@` ¬@i0_β↓↓0_%`p ¬i ⊂∧a0_*a _)A↓ _)A↓⊂ )D
0`@j ∧A
_¬↓
_¬j⊂ ¬j⊂_¬↓
⊂_¬↓
¬↓
_¬A
_¬A p_ε↓0⊂'@a@(@I`⊂π↓kp "Q ⊃HEbpHπTα∀x↓α$h↓B$`↓B4`B E0↓U@5(α∃ 5(↓UE α∃5 ↓T`E_↓T`5⊂α∀@0@T@ 8↓∀ 8↓∪↓tXπ⊃(DP∞Hβ!8λBkh+@@p⊂*@A⊂*A_)@A_)a_(@a_(@A⊂_-A0_-@k -k _,A⊂ ,@k⊂_,↓ @⊂¬i ¬I ∧@i (β@I 0α@I0P&↓hT %FcQ8B `α∀@HβS@`@↓`%α↓@%α↓%α`∃↓@`∃↓@@∀xα $xβS`0λ↓S`0λα∪@@λα∪@0_α∪@0_α∪ @ ↓S 0(α∪ 0(αS@0αα ∀`↓B@8↓∪0@αA $X↓B@P R`0X∧∩@ pαQ(D`F"q8πA*p@+@ (*@@@ *@P_)@`P⊂)j _(@j⊂_(↓
_(ip '@ip_'↓ `_'apλ&@a`_&B↓_&β @⊂&@0`%@!⊂8"Q R@∃Fαph↓¬`∃0↓E@%(α¬ 5(α¬ 5(α¬5(αD@E(αD U(@ 1β∃⊂⊂αβ@u @@@h↓@ E @`0`↓@@E_A0X↓@`5_A@H↓A5_A@@↓AE⊂A@08↓A E⊂A@@(↓A@E⊂A@@ ↓A`EλB@⊂↓BEλB@λ↓B EB@`Pα∩` ⊂↓α@PXα∩@``↓CTPββ hβR@Qhα∩`4("∪Db0∞εd 5↓M⊂04AJ`⊂λjP π@*P π*P π*P(ε@*P(ε*@⊂@a@λ* ¬@*@λ↓↓↓0λ* 0 ∧@*@λ↓A↓⊂λ)@ P ∧*0λαA↓λ)@ `_β@*0λβ↓`λ) p β* λ∧↓@λ)! α*⊂λ¬↓0λ(@! ↓@)0⊂↓@!@ @I00ε↓I 0π↓) 0πA 0 λ@HT 'FCQ8B`⊂(β∀` ∧T ↓↓e↓↓ 0αS` ↓A`Tp↓↓0@αS 0 ↓α@D`↓A0Pα∪0_↓βDX↓D@DX↓D@DPα∧@4Pα∧@4Pα∧ DPα∧ 4Pα∧ 4PαC`4PαC`$Xαβ@$XαC$Xβα@∀`βA 4hε∪`t("∀β!`¬ap(∧I`⊂α↓@8&@@P_βAI0_βa(%@@` ∧A ⊂βA↓⊂ )A↓⊂ )A↓⊂_)@a _)@a⊂_)↓↓⊂⊂)↓↓⊂)aλ)``⊂(A⊂((@`⊂ (@j (j_'A p_'@I`⊂"Q
⊃H∂εbp`βU↓5⊂↓↓ uλB dx↓α`Tp↓β Th↓C T`↓C`D`↓C`DX↓DDX↓DDPα∧DPα∧4Pα∧4Pαβ`4PαC@4Pββ4Xβ↓ ↓∪↓0 ↓∪ p0↓⊗ %@U 4h∧B`$X¬B@$x¬A %⊂π∃A∧("∀CrλEax(¬ `⊂α↓P@&@@P_∧A)0_βa %@@` ¬↓ ⊂βA↓ _)A↓ _)A↓⊂_)@a ⊂)@a⊂⊂)↓p⊂)↓ ()` 0)`0((A@((@`P((@``((↓`((a(∧*_∧↓@P⊂'@a 0↓@)p_¬B `⊂π↓(T )EC↓8C u(¬U⊂(β∀@ @α∀ 0@↓T@@TEαTeλβ∀A¬_∧∃@u8β⊗ Th↓α@T`↓βDX↓CDPαβ4PαB`$Pβα $XβA $`ε∪@t("∃βQxεβ0λ(E
↓_'A⊂_&@A⊂ &a⊂_%@a _%@A %A0_+@j` +↓
`_+jP *A
P_*@j@_*j0_)@J ⊂'BI`P"Q
QP
Ebp αC`$`βC 4X@`@h↓S`@`↓S`0h↓S`0`α∪@@`↓S@0h↓S@0`α∪ 0`α∪ 0`α∪@XαS0Xβ∪0XαR`@P↓ 4X↓B@tX↓B 0λα∩@@H↓@4Pαα _↓R@@8↓`DPαA ⊂(α∩@P_↓↓@DXβBdXαB@D("∃BaHE`⊂ ε@i 0εi@(¬↓)P ¬↓)` ¬@i` ¬@ip_ε)p ¬@)p ¬@*_¬*_∧@J_∧@*_∧J_β@J_βJ_α@j_αj_↓@j_↓j_@j0(↓* 'A p_'@(T +I%↓H@ 1λC$Pββ@0Pα∩`Phαα@Dhαβ@Pα∪ @Xβα@4p↓B`⊂λαα`$pαα ⊂_↓B`∀pαα _↓B`∀x↓B⊂ αα@∀x↓A` αα ∀x↓A@ 0↓B ∀x↓A@⊂8↓B∀x↓A 8α↓`∀x↓A @α↓@∀x↓A⊂P↓A $x↓@` P↓A ∀x↓@@ X↓A$x↓@ `↓@`$xββ0⊂↓∪`Ph↓@ 4xαβ@dx↓C`Tp↓D 4p↓D $p↓∧@$pD`∀("⊗βAxEa (¬j @βA*⊂⊂↓↓! (@@ ∧j` ∧J` β@J`(α@J`(α*p ↓Jp0+A
p +↓*PλA
0⊂↓↓
⊂⊂α↓
λβ↓ `⊂βA)P⊂∧↓)@⊂¬↓ 0_¬↓@⊂%↓↓ (↓I (∧B _ε↓(T ,F#1XA@`↓S↓Pα∩`⊂_βα Uλαα`5⊂αα`%⊂αβ∃_αα`∃_αα@∃ ↓B@∃ ↓B % ↓B ∃ α↓`% α↓@%(↓A@%(↓A %(↓A%(↓@`5(↓@@5(↓@ 5(β∃ U(α∩@⊂Hα∩@ 8α∩@0 αRA$X∧∪T("⊗C1hEa@@α@*A)@@PH)A@⊂(@A@⊂(A@⊂.@K@⊂-@K ⊂*αj0`+@@0⊂+JP⊂*J0⊂)A@⊂(@!P_(!P_'A`_&B`P⊂&∧I0λ∧αλT ¬c0λ∧@αtPQ(@0Gβ⊃@εJ`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂%ε)!H+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂%ε)!H"Q↓↓H∞ε"PHβT _@`$x↓↓ ⊂(↓∪@⊂8A`∀hB⊂@S⊂HB ∀`B ⊂HR`⊂PB@∀XB@⊂PR@⊂XB`∀PB`⊂XR@⊂XB`∀PR@⊂XB`∀PB`⊂XR@⊂XB`∀PB`⊂XR`⊂PB@∀XB@⊂PS⊂HB ∀`B ⊂HS ⊂@B∀pA`⊂8S` (A %λ↓`⊂_↓∀`t("αC⊃`E!⊂8(@@p⊂'@A0⊂'!pλ&@Ap⊂& λε@ λ& 0λ¬@ 0λ%@ Pλ∧@ Pλ%@ `λβ@ `λ%!λα@!λ%!⊂λ↓@!⊂λ%! λ@! λ%!0λ¬@) λ¬@!0λ%! λ@! λ%!⊂λ↓@!⊂λ%!λα@!λ%@ `λβ@ `λ%@ Pλ∧@ Pλ& 0λ¬@ 0λ& λε@ λ&@Ap⊂'!pλ'@A0⊂(@@p⊂)AhT -E#↓_ @!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@0x↓R`0h↓S@Hα∪AU∧Q(E`
Fα1_βα)`h&↓↓⊂ %@aP_%ap_%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂"Qa(∧b0H↓T`5⊂αT@ λ↓∀ 0λ↓T _↓∀0_↓T (↓∪`0(↓S` 8↓∪@08↓S@ H↓∪ 0H↓S X↓∪0X↓S h↓∩`0h↓R` x↓∩@0x↓R@!λ↓⊃(Ex
Fα1_B⊂⊂%ap_%@Ap⊂%@aP_&AP⊂&a0_&@A0⊂&@a⊂_'A⊂⊂'`p_'@@p⊂'@`P_(@P⊂(`0_(@@0⊂(@`⊂_)@⊂⊂)↓*0_)@hT ⊃CB⊃pA@%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∩@⊂(↓↓ ∀X↓` _↓∪ ⊂⊂↓@∀p@ λS`E↓∀ ∀("λAaλ∂¬`pλ(Ip ' ⊂⊂@)Pλ↓@ λ%@@0⊂↓@I λα@@Pλ(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂"Q∧α⊂∩Ba`0T∀xS@∀hRd∀X⊂S ∀pS`∃T∀("λ$"(¬CC0λ2@,`λ3@-λ%λI"⊂4,pλ3,Pλ2@(T ∩λDPXπ↓@⊃ T⊃ S`⊃0S@⊃@S ⊃PRd∀X⊂S ⊃PS@⊃@S`⊃0T⊃ T⊃ Q(APFbq ∧βj↓λ'↓ P_&i@⊂%@i0⊂%i ⊂%I ⊂%I ⊂%I _%@I0_&I@_&@i` (∧* x"Qβ18
Eb@πRB∃Hα⊗`5`↓W %h↓W@%p↓W`%x↓↔`%x↓↔`%x↓↔@5p↓↔ 5h↓↔5X↓V DPλRAt("B18E↓X(β)` &@i@_&I0_%@I _%I ⊂%∧i!_%I ⊂%i0⊂%@i@⊂&iP_'↓
h)αhT ≤¬Bq8@!⊂↓∩@!⊂↓∩@1↓R`!↓∩`0p↓S p↓∪0`↓S `↓∪"∧pπ∪@0@↓S` @↓∪` @↓∪`00↓T 0↓∀0 ↓T ↓∀ 0⊂↓T@ ⊂↓∀@e_α∀`E ↓∃$("∞"⊃ E`↓λ%∧+⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂%D 1,@K⊂⊂,@K⊂⊂,@K⊂⊂,@K⊂⊂,@I!λ%∧(T ≥¬#HεαTP
W %h↓↔ %h↓↔ %h↓↔ %h↓⊃(A Fcq8
@KP -A⊂ +A
P *j (↓ ` &↓ %↓ @ '↓
)↓
@_*A
p ,A0 .Ap⊂#A@↓8%¬hT
Ec1x@$Pα∪Dpα∀E⊂α∃5(α∃`EHα⊗`Ehα↔ EXα⊗ E8α∃ E ↓T@Eα∪@D`α∩@DP↓⊃``RBt("∧#⊃`λD ↓H%ε(p0ε)!H#A@↓H%ε(T 7βB∩⊂@$P↓∩@4X↓∩`$X↓S$`↓S $h↓∪ 4p↓∪@$p↓S`$x↓∪`5↓∀5λ↓∀ %λ↓T@%⊂↓∀@5_↓∀`%_↓U% ↓U %(↓∃ 50↓∃@$("~@ 8⊃ε ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Q⊂ ∧a λ↓∩@DPα∩`$("↓"!_λD!⊂(A
0'@` _'`@_&@``_&a_%@a _%a@_%a@_%@a _&a_&@``_'`@_'@` _(↓J⊂ )HT 3βαα⊂B 5λ↓T4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4p↓S 4Pα∪ 4p↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓T5λ↓T`4("→aA⊃ε &@i`_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_(j⊂_)@j⊂_(ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@i`_&@i "Qε∩⊂∩CA`(ββ Th¬α 0_↓S 0α↓@0@R` @α↓ XR`⊂X↓@@ `R@⊂`ββ@∀PC @xR@⊂pαβ@∀PC`@hR@⊂pββ∀XC ⊂↓B`∀XB` αα$`B00α↓@$h↓@`0H¬∪`Phβ⊃(G_πDCa8¬j0⊂↓*0⊂↓J0⊂@j ⊂↓@* ⊂)J ⊂(@j⊂_(@j⊂_(@J_(j_(j_(Ip_'@ip_'@ip⊂'@Ip⊂%@ 0⊂%`⊂⊂%@ ⊂%@ ⊂&hT ↓∧c⊃λλ@ x↓∩@0h↓R`0X↓S0H↓S 08↓S@0(↓S`0_↓T0λ↓T UλαT0λ↓S`0_↓S@0(↓S 08↓S0H↓R`0X↓R@0h↓R@ x↓⊃(@_π∧!`xβJ⊂(I ⊂α@@⊂%`0⊂↓@i0 @@⊂ '↓J⊂'↓I0 @@⊂ %`0⊂↓@i ⊂α@@⊂(J⊂(HT αεCQ α`E β∃e(α⊃`P
∩C$8αB`E β∃e(α⊃(@8Gβ⊃⊂ε)!H+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂%ε)!H+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂"Q↓⊃H∞ε"PHβT 8↓∪` X↓∪@⊂xS ⊃λS⊃_S⊃_R`⊃(R`⊃(R@⊃8R@⊃8R@⊃8RC∀PE`∀PE`∀PE`∀PE`∀XE ∀XE ∀`D`∀`D`∀hD ∀pC`∀x↓α`%λ↓↓`%_βQ(@XGβ⊃(∧Aj⊂⊂β@Ip⊂¬@I`λπ@)PλλI@λλ λ&!pλ↓@)0λπ@ Pλ%@!`λβ) λπ!λ%!Pλ∧@) λε! λ%!0λ¬@) λ¬@!0λ%! λε) λ∧@!Pλ%!λπ)0λβ!`λ%@ Pλπ@)@λ↓@!pλ& λλ)P⊂λ)`λπ@)p⊂¬@J⊂⊂β@J08"Q↓AH∞ε"PHβT 8↓∪` X↓∪@⊂xS ⊃λS⊃_S⊃_R`⊃(R`⊃(R@⊃8R@⊂P↓B@∀PB PHR@⊂HαB ∀PB PHR@⊂HαB ∀PB@0PR@⊃8R`⊃(R`⊃(S⊃_S⊃_S ⊃λS@⊂xS` X↓∀ 8↓∀`t("β$"(∂¬aP@*βJ (∧↓* π↓ p_ i`_
iP_i@_i@⊂
I0_
i0⊂∞I _∞i ⊂∂I ⊂∂I ⊂∂I ⊂∂I ⊂∂I ⊂∂I ⊂∂I _∞i0⊂∞I0_
i@⊂
I@_iP_i`_
ip_ j π↓
(∧↓*@p+BλT πβB⊂hπA Dh∧∪0 ↓R`00↓R` @↓∩@0@↓R@ P↓∩@ P↓∩@0@↓R` @↓∩`00↓S0 ↓S!∧xα⊃(@xπ∧!PxαA P@&αI0`%C p%βI p%βI0`%C @P&B p "Qα↓H∞∧"⊂↓¬ $P↓D`4Xαβ`Dh↓C 4pαA`UεT`t8αα uεS@P8αS 0h↓R`@xα∩@1_↓R@!(↓⊃(A⊂Fcq8∧βj↓λ'↓ P_&i@⊂%@i0⊂%i ⊂%I ⊂%I ⊂%I _%@I0_&I@_&@i` (∧* x#A@⊃0%EHT Ec1x@↓tPλV EX↓W5h↓↔ 5p↓↔@5x↓↔`%x↓↔`%x↓↔`%p↓W@%h↓W %`↓V`5Hα∩B∀PπQ``∩Bd("¬BqX∂EbP⊂/@Kp⊂/k`⊂.@k@_-@k⊂ +A
8%β) h)↓jp ,A0_.kP_/K`_/@Kp⊂/@Hp0¬i!8"Qαq8
Gbp↓∩@$P↓∩@4X↓∩`4`↓S 4pα∀E⊂βU↓U εT@uα∪@Dh↓S4X↓R`$P↓R@$P↓∩@$8βαtPQ(A@G↓`α↓!pλ&B↓Pλ&αA@λ%@`P ¬I _∧a_%A α@i λεαI λεB λπA(T F#AλλAPxS↓⊂hRa0`R@@(αB $P↓α P(α∩@⊂Xε∩@⊂h∧R@⊂xαQ` αC`∀`∧C ∀X¬C∀Pα↓ PH↓∩@ HαA DPBaDPC!∀PC`T("π∧"(E"@_∧k@ βA0_∧k⊂ βA
p βA
`_∧j@ βA
βA
⊂_∧ip βA P βA @_∧i βA βA @_∧iP βA p βA
⊂_∧j βA
@ βA
`_∧jp βA⊂ βA0_∧k@ βA`_∧hT ∞HDQH
@0@↓R`@8α∪ 0@↓S@@8α∀@8α∀@0@↓T`@8α∃ @8α∃`0@↓V@8α⊗@@8α↔0@↓W @8α↔ @8α↔0@↓V@@8α⊗@8α∃`0@↓U @8α∀`@8α∀@0@↓T@8α∪@@8α∪ 0@↓R`@8α∩@0@↓Q(ApFbq_
@Kp⊂/@K`_/KP_.k0_,A
p )↓i h%β* 8+A⊂ -@k@_.@k`⊂/kp⊂/@Kp⊂"Qβq8
Eb0↓∩@$P↓∩@4X↓∩`4`↓S 4pα∀E⊂βU↓U εT@uα∪@Dh↓S4X↓R`$P↓R@$P↓∩@$(" $"(∂¬c⊂βL@@4lp⊂@,`⊂↓,P⊂↓@,@⊂α, _α@,⊂_β@,_∧+p_/kP_.K0⊂-K⊂⊂+@j`_*@j@_)@j _(@J⊂'@I`⊂&i0_%i ⊂"Q∧b⊂∩GBp↓∩@4X↓S4p↓∪`%↓∀ %⊂↓T`5 ↓U 50↓U`5H↓⊗@%X↓↔%h↓W@5x↓X0@X 08X@0(Y Y _Y@ ⊂Y` λZ6 ∧_@ 0↓⊃(B8Gα↓α↓!pλ&α!Pλ%C↓0λ%↓P(∧@I ⊂∧A P %!@X%!PH%!p(#A`↓H%ε(T ∀λDQ_ β%0↓∃ % ↓∀`%⊂
∀#4x↓STPαSDp↓T5λ
Tc∃ ↓∃%(↓∃@%0↓⊃(BH⊃ "1⊂
K`⊂/@L⊂0@I!P%εl@_2A,p(3↓P_1@i!X%ε,⊂0Kp⊂/K`⊂"Q¬!(GBpPU∃_↓T`5⊂↓ %λ↓`%↓@`5↓↓ $p↓A`4hα↓`DX↓@ 8↓ 4P↓@@ 8↓@4PA 8↓↓∀x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$x↓↓`$("
bQ8∂¬`P⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@I λα@p⊂α) _↓@p⊂↓i0_@@p⊂@iP βA `_β@j⊂α@J_↓@j⊂⊂↓@J ⊂@J0_)@j@λ*(T ⊗λDQ_ α@ P↓∃ P↓∀` `↓∀@ p↓∀@ p↓∀"Dx∪@1 ↓S1@↓R@APα∪1@↓S 10↓S`! ↓∀αeλ
∀@ p↓∀@0`↓T` `↓∃ P↓∃ P↓⊃(Bh⊃ #a8@`⊂%α 0_%@ ⊂⊂%@ ⊂%@ 0⊂%@ @⊂%@ P_% p_%!_*jP_+k⊂,@K ⊂-@K@_.@k`_/@l_0@l0⊂2LP⊂3Lp_4m⊂_5HT ↔λDQpH&H↓Z68↓Y@&(↓→&_↓_ 6↓W`5p↓W 5`↓V`%P↓⊗ %@↓∃@5(↓U4PB4PA`4XA 4XA$X@`$X@@$X@ $X↓RA∧P↓↓@$("c↓Xπβ@@(εiPHβ@i@⊂αAP⊂%@! ↓@)0λ∧A⊂⊂%!0(%!@_%!@ %!P_%!@(%@! ⊂A 0λ¬ 0 & p⊂αA P⊂↓@`p0'↓!@_"Qε8∧D" ↓∪ Dhα∪ D`α∪D`α∪4`↓R`DX↓R`4X↓R`$P↓R@4P↓∩`∀("b18EX%β*P +@k_,@K⊂_-K _-@K0⊂%∧i!_-@K0⊂-k ⊂,@k⊂⊂,jp_*A h%αhT ~πD⊃8C@%8α∃`E0β∃ 0⊂↓U ↓∃0 ↓U 0↓∀`00↓T@0@↓T@ P↓∀ 0P↓T0`↓T p↓∪`0p↓S@1↓S@!⊂↓∪ 1⊂↓S ! ↓∪1 ↓R`10↓R`!@↓∩CdP∂⊃(C(∂λ"qπI!p%@C⊂%@b`_&b@_&@B@⊂&@b _'B ⊂'b_'@a`_(A`⊂(a@_(@a _)A ⊂)a_)@``_*@`⊂*`@_*@@@⊂*@` _+↓Jp +A⊂"Qεa_G"qλ↓⊗@5P↓⊗ 5H↓⊗58↓U`%0↓U@%(↓U5 ↓∀`5⊂↓T@%λ↓T %↓S`4x↓∪@4p↓∪ 4`↓S$X↓R`$P↓R@$("
`00εC`⊂%I ⊂%I ⊂%I _%i ⊂%I ⊂%I ⊂%HT ≥CB⊃XB@% ↓∪`th↓↓$`↓↓ 4`↓↓DX↓↓ λ↓∩` (↓ $P↓A λ↓R@0 ↓@ 4P↓A ⊂↓R@0 ↓@4P↓@`0⊂↓R@0_↓`4P↓@` _↓R@0⊂↓@`4P↓@@ ↓R@0⊂↓↓4P↓@ 0 ↓R@0λ↓↓ 4X↓ (↓∩` λ↓↓ $XαA4`↓A $h↓↓$`βS$`↓⊃(C`Gαq8↓↓ p(%@@0⊂α@ %@P⊂↓ P % ` β@i λβ@A %@`_∧↓ 0⊂α@a⊂ &@@_¬i`λ↓@a '@ _¬@Ipλ↓a⊂⊂'@ `% @λ↓`@_% 0λ↓@`@_% 0λ↓@`@_%@`@_αj _αj _αj _αi λβ@@P_%@`⊂βi0λα@@p_α)@λα!⊂_@IP ¬@hT ≡Fβ18A th↓↓@4`B DXB`DPC@0(R@⊂x↓A∀PD TPR@∀XDD`C 0_S X↓↓ ∀xα↓@0(V 5P↓V@5X↓R@Ph↓S @X↓S`0P↓T0H↓T @0↓T`0 ↓U↓∧("∂C!hE`↓P%εJ`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J`⊂+HT ∨FCQ8C%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∃@%0↓∩C$P
⊃(D EBq8@!0λ%A ⊂%A _%a _%@a &a &@a⊂ 'aλ@I` β@ ⊂λ&@@⊂_α@)P⊂↓`@λ&@@⊂α)@⊂α@@0λ%@`P_↓)0_β`⊂λ%@`p_%@a_%A↓_&a⊂_&@a⊂_&A↓⊂_&A↓ ⊂&A↓ ⊂%↓A0λ"QQ(∧b0↓∧ $P↓∧ $P↓∧ $P↓α 8↓∩@ @↓↓`$P↓α 8↓∩@ @↓↓`$P↓α 8↓∩@ ⊂ε@@$P↓AP⊂↓∩@ @↓↓`$P↓α 8↓∩@ @↓↓`$P↓α 8↓∩@ @↓↓`$P↓A` 0↓R`0h↓S@Hα∪AU∧Q(F EBq8I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I!_%∧i ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Q⊃_¬bqλ↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓∩B4P V`%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`%X↓⊗`$("_A!⊂⊂F ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I P%αHT 1BA"λB%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∩A$P¬⊃(F ¬∧D⊃HαI P%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"QPP¬λ#⊂¬∩A%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@$("~↓⊂h⊂F p⊂(@J_(Ip_'@I`_'IP_&@IP⊂&i@⊂%@i0⊂%i ⊂%I _%@I0_&I@_&@IP⊂&@i`⊂'ip⊂'@j⊂(j⊂⊂(@HT 4B!Bλ@$P↓∩@4X↓∩`4`↓∪4h↓∪ 4p↓∪@$p↓S`$x↓T%↓T %λ↓∀5↓∪`4x↓∪@4p↓∪@$h↓S $`↓S$X↓R`$P↓R@$P↓⊃(FX¬βd⊃H@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂%@`⊂"Q
@pλHC⊂8T$xα∪@⊂λ↓ ∀h@@ ⊂R` _↓`$PA (T%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀$PA (R` _↓`$h@@ ⊂S@⊂λ↓ ∀xα∀%↓⊃(Fh
Ed!H¬*0_)@j ⊂@J⊂⊂↓@J_↓@ip_α@iP βA @(βA) @@p⊂A ⊂↓@@p⊂↓@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@Ip⊂β@I ⊂↓@@p⊂↓@I @@p⊂A @(βA)P βA p_α@j_↓@j⊂⊂↓@J ⊂@J0_)@j@λ"Q
p0∧E"0α∪4`↓S 4h↓S 4h↓S 4h↓S4`↓R`4X↓R@4P↓R@4P↓R@4P↓R`4X↓SD("≤∧α_⊃#`⊂3@lp⊂3l`⊂2@lP⊂2l0_1@L _1L⊂_0@L_/@kp⊂'!p_&↓↓`⊂%@⊂_ε@i`_¬@i`_¬@Ip_∧@ip_∧@J_β@j_β@J⊂_α@j⊂_αj _↓@J _↓j0_@J00*↓
@ *@HT 8FCA8@↓0 ¬S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓RC$("≤C1pE`↓X%εi1H&b0λ&↓α λ&@b⊂λ&Aαλ'apλ'↓↓`λ'@aPλ'A↓0⊂(a0λ(@a⊂λ(A↓λ)`pλ)↓`λ)@`Pλ)A@λ*`0λ*↓⊂⊂*@`⊂λ+j`_+@(T :¬#↓_ @!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩@!λ↓∩BTP
Q(G(
Fα1_¬)!(%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂%B⊂⊂"Q∞a@∞πbp∩C∧P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P∩C∧8ββ∧P⊃(G8εcq8ε !@0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂0L⊂%ε !@#A@↓@%ελT <αAap@`D`↓`$X↓↓ ∀P↓A4P↓A4P↓A ∀P↓R`$`↓∪ ∀h↓S ⊂R` _↓R@0 ↓∩@0 ↓R@0 ↓R@0 ↓R` ↓R`0_↓∪ ⊂⊂↓∪@5T%λ↓∀ 4XA 4P↓A4P↓A4XA $X↓`$hα⊃(GHεDβa8β)p_'@ip_'@ip_(*λ%@` λ↓i h%@` λ↓jλ()p_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_(*λ(*λ((T =β"↓pA@∀x↓S`4x↓S`5R`0⊂@@4PεR`0⊂@@5S`4x↓S`4x↓T∀8A@∀x↓S`4x↓S`5R`0⊂@@4PεR`0⊂@@5S`4x↓S`4x↓T∀("≡bA8∂¬`ph'CiPH↓@I@P↓@I0X↓@I0X↓@I `↓@I `↓@I `↓@I `↓@I `↓@I0X↓@I0X↓@I@P↓@IPH↓@Ip8↓@J⊂(↓@J@⊂↓@J@⊂↓@J@⊂↓@J@⊂↓@J@⊂↓@J@⊂↓@J@⊂↓@J@⊂↓@J@⊂↓@J@⊂↓@J@⊂↓@J@⊂↓@J@⊂↓@J@⊂↓@HT >πβa`B`e_¬∀AEλπ∀!eλπ∀!eλπ∀!eλπ∀ADp↓@A ⊂↓Sβ∧X
∩c$P∞∩CDP∞∩CDP∞∩CDX¬@ ⊂¬∪↓⊂⊂↓A∀pβ` _β∃`%8↓∃@E0α∃@D("∨#!h∞¬a@⊂*A
P *↓J0_↓j0⊂αJ _αj⊂_βj_∧ip_¬i`_εiP_πi@_λi0_ i _
i0_ i@_λiP_πi`_εip_¬j_∧j⊂_βj _αj0⊂αJ0_↓j@0*A
P +HT ?εCQ8AP@αS↓⊂ ∧R`0(↓@@0(↓R` 8β↓`$P↓B@@↓R@ P↓α@$P↓α@ P↓∩@!0↓∩@!0↓∩@1 ↓R`! ↓∩`1⊂↓S!⊂↓∪1↓S 0p↓S@0`↓S`0P↓T@0α∀@0 ↓T`0⊂↓Ue(α∃@%0↓⊃(Gx
π#A8εJ`⊂*A
P *↓J0@)αJ⊂`'D a⊂&E A0%F 1@%εI!P%εI!P%εI!P%F 0H↓@ H&α ⊂↓α ` α@@ +J`⊂*A
P *Aλ↑xπZ,F(7≥
⊗04Y."!S*5HwG,6x2~-f89Xmε(6Y$¬ 2V∧εh0]
α9↑-V⊂7[∞>xε→Mvp:→L⊗_2XO↔ 2|`∂∨
:08∧x⊂xPPα>fpα>fp¬?x␈␈{pβ?0π`p$J ¬ }`λεVh\@↓r⎇@!xβI∩Hα(x{b@∧W/⊂∧[/0απ`p$J E}`( @↓∃h<@↓z=@axβI∩H↓(p{↓cpπ∩%⊂∧fo0∧π`p$J ¬2>`H∂@↓dH∀@↓_8⎇A!xβI∩H↓6{αcpπ∩%⊂∧{/0επ`p$J
→>`h∀α#@t@↓ n=Aa α+WHαU8{βb@∧W/⊂¬1o0λπ`p$J
l>aλ∂@↓dH∀@↓~=B!xβI∩Hα↑P{∧cpπ∩%⊂¬D␈0
π`p$J πn↑a(∂@↓dH∀@x{⎇BaxβI∩Hαf {¬cpπ∩%⊂¬T∨0π`p$J 7↑aH∂@↓dH∀@↓8π⎇C!xβI∩H↓fP{εcpπ∩%⊂βT∨0∞
↓⊂≤: X≡ah∀α#@t@↓8g⎇CaxβI∩Hββp{πcpπ∩%⊂ε∞←0⊂
↓⊂≤: ε}>bλ∀α#@t@p=D! α+WH↓Z {λb@∧W/⊂β)␈0∩
↓⊂≤: π
}b(∀α#@t@↓@V=Db@∧G∞Hβ⊂λ{ cpπ∩%⊂ε*o0∀
↓⊂≤: a}bH∀α#@t@↓H[=E!HαjUHβ≡({
c⊂¬U+⊂εMO0⊗
↓⊂≤:
<}bh∀α#@t@↓X!=Eb@∧G∞Hβ98{cpπ∩%⊂ε⎇O0_α`("E ∞∂>cλ∀α#@t@↓λh⎇F!Xβ
∀H↓m@{c0ε∀)⊂π
∂0~λ`↓ B ∞'}c(⊃@α∧λ∧@↓`⎇=F`βU({
`π3∂0≤¬`P,Z πC}cH@↓%H4@x4=G!Xβ
∀H↓yx{∞b@∧W/⊂π7?0≡π h&N ∂⊃↑ch∞@↓Th≤@↓po⎇GaxβI∩Hβt{∂cpπ∩%⊂πn␈0 ε X*V ∂k↑dλ⊂↓jp@⊃⎇H!Pβ↓a(λP{⊂b`∧{λp≡␈0"π`p≥LP↑d(
@↓≥X:@λU⎇Hahβ"␈X∨⊂{⊃c¬A¬0F␈0$λ@xT!`↓&≡dH@↓%@ _ε⎇I!Xβ⊂:p5⊂{∩c`ε|LPt␈0&π`U6`α¬↑dh↔@αWXS@ 0⎇Ibλβ←↓HP{∪dπ∨J↓2?0(π`y∩ β↓≡eλ⊂@↓oHC@02⎇J"⊂βv%⊂m{∀c¬O¬⊂↓h?0*¬`P.↑ βd≡e(@↓7`
@8j⎇JaHαpM⊂↓∧`{∃e
,pα∃␈0,π h
α ∧X≡eH
@↓CPoHc⎇K!hβ%98↓# {⊗c0ε∀)⊂β␈0.ε``(R ε⊗↑eh
@↓Eλ$@α∩⎇KaXβ
∀H↓Jh{↔c0ε∀)⊂β∨o00ε X*V ⊂$↑fλ@↓5(,@αd⎇L!⊂α_H∧⊂{_b ∧_1⊂λ)?02∧@@0b ⊂e↑f( ↓ελD@αλp⎇La α+WHα∪8{→b@∧W/⊂∧0O04∧82f ⊃≡fHλv(L@α⊂;⎇M `↓-[Hα @{~b@∧W/⊂λX/06¬H.↑ ⊃T>fh@↓5(,@α_←=Ma α+WHα∧X{≠a@α[7⊂
←08λ xα¬ ∩"≡gλ∂↓[x↓α y⎇N"λβhQH∧U@{≤b⊂βy30∧G/0:ε``(R ∩l}g(
@↓Eλ$@α0β=NaxβI∩H∧eH{≥cpπ∩%⊂ Ro0<∧@@0b`∪4}gH ↓ελD@α8∨=O!⊂α_H∧xX{≡c⊂¬U+⊂ |∂0>π`p$J ∀↔}gh∂@↓dH∀@α@X=OaxβI∩H¬⊃X{∨cpπ∩%⊂
0oH¬!0Aw{⎇xow{⎇x